Section: New Software and Platforms

Novelties of the year

The main novelties this year are:

• CoLoR has been ported to Coq 8.5.

• F. Blanqui started to develop a prototype for developing Dedukti proofs interactively.